keywords:"LR(k)" - Výsledky hledání - Digitální repozitář

host :: přihlásit Digitální repozitář
		Hledej		Nový záznam		Nápověda		O repozitáři

Hlavní stránka > Výsledky hledání: keywords:"LR(k)"

Hledej:

Tipy pro vyhledávaní :: Rozšířené hledání

Hledej ve sbírkách:

Seřadit podle:	Zobrazit výsledky:	Výstupní formát:

Národní úložiště šedé literatury	Nalezeno 2 záznamů.	Hledání trvalo 0.00 vteřin.

Nástroje pro experimenty s gramatikami a jazyky
Krejsa, Jiří ; Bednárek, David (vedoucí práce) ; Král, Jaroslav (oponent)
Hlavním cílem diplomové práce je návrh a implementace prostředí, které poskytne prostředky pro práci s gramatikami a jazyky. Prostředí je realizováno knihovnou, se kterou uživatel pracuje pomocí API. Knihovna umožňuje manipulovat s jazyky v podobě gramatiky nebo automatu, převádět jazyk mezi jeho různými reprezentacemi a testovat zda je gramatika regulární, lineární nebo LR(k) pro zvolené k. V případě porušení podmínek testované vlastnosti je nalezen protipříklad. Důraz je kladen na další rozšiřitelnost knihovny. Součástí práce je ukázková implementace využití knihovny. Knihovna i ukázka je napsána v jazyce C++.

Úplný záznam

Nástroje pro experimenty s gramatikami a jazyky
Krejsa, Jiří ; Král, Jaroslav (oponent) ; Bednárek, David (vedoucí práce)
Hlavním cílem diplomové práce je návrh a implementace prostředí, které poskytne prostředky pro práci s gramatikami a jazyky. Prostředí je realizováno knihovnou, se kterou uživatel pracuje pomocí API. Knihovna umožňuje manipulovat s jazyky v podobě gramatiky nebo automatu, převádět jazyk mezi jeho různými reprezentacemi a testovat zda je gramatika regulární, lineární nebo LR(k) pro zvolené k. V případě porušení podmínek testované vlastnosti je nalezen protipříklad. Důraz je kladen na další rozšiřitelnost knihovny. Součástí práce je ukázková implementace využití knihovny. Knihovna i ukázka je napsána v jazyce C++.

Úplný záznam

Chcete být upozorněni, pokud se objeví nové záznamy odpovídající tomuto dotazu?
Přihlásit se k odběru RSS.

Digitální repozitář :: :: :: ::
Powered by v1.1.2
Spravuje

Tato stránka je dostupná také v následujících jazycích:
Česky English